#Density : 8472583864893396005540083505801/48000000000000000000000000000000

Program                      : VertexInducedHypercubeDensityChecker

Dimension of subcubes H      : 4
Number of induced hypercubes : 1
Induced hypercubes           :
4 : {7, 8, 10, 12, 15}
Number of terms              : 19


--- Term 1 ---

Dimension of type  : 0
Dimension of flags : 2
Number of flags    : 6
Matrix dimension   : 6

Flags :
F1 : {0}
F2 : {0, 2}
F3 : {0, 3}
F4 : {0, 2, 3}
F5 : {0, 1, 2}
F6 : {0, 1, 2, 3}

Basis :
B1 : (F1)
B2 : (F2)
B3 : (F3)
B4 : (F4)
B5 : (F5)
B6 : (F6)

Matrix :
13965025348837387143971127/31250000000000000000000000000 1084695407402748258583574283/125000000000000000000000000000 -159633462567610152300429873/15625000000000000000000000000 -858372462149434115367884883/125000000000000000000000000000 107130804748866677215547523/25000000000000000000000000000 -113968310304814473461262813/15625000000000000000000000000
1084695407402748258583574283/125000000000000000000000000000 84250769150130117668004870607/500000000000000000000000000000 -12399095554044275767954854717/62500000000000000000000000000 -66671749193208158385576358007/500000000000000000000000000000 8321094233612001958631886567/100000000000000000000000000000 -8852178903303976090267561977/62500000000000000000000000000
-159633462567610152300429873/15625000000000000000000000000 -12399095554044275767954854717/62500000000000000000000000000 1824761626619323179718169127/7812500000000000000000000000 9812009995170300361258344117/62500000000000000000000000000 -1224606535436035134845001477/12500000000000000000000000000 1302765698055248555980556187/7812500000000000000000000000
-858372462149434115367884883/125000000000000000000000000000 -66671749193208158385576358007/500000000000000000000000000000 9812009995170300361258344117/62500000000000000000000000000 52760611983981960250226525407/500000000000000000000000000000 -6584888344079565477617045967/100000000000000000000000000000 7005161586154844651762383377/62500000000000000000000000000
107130804748866677215547523/25000000000000000000000000000 8321094233612001958631886567/100000000000000000000000000000 -1224606535436035134845001477/12500000000000000000000000000 -6584888344079565477617045967/100000000000000000000000000000 821839491118093541920251327/20000000000000000000000000000 -874292490979244312544021537/12500000000000000000000000000
-113968310304814473461262813/15625000000000000000000000000 -8852178903303976090267561977/62500000000000000000000000000 1302765698055248555980556187/7812500000000000000000000000 7005161586154844651762383377/62500000000000000000000000000 -874292490979244312544021537/12500000000000000000000000000 930093245753815925981890047/7812500000000000000000000000


--- Term 2 ---

Dimension of type  : 0
Dimension of flags : 2
Number of flags    : 6
Matrix dimension   : 6

Flags :
F1 : {}
F2 : {2}
F3 : {3}
F4 : {2, 3}
F5 : {1, 2}
F6 : {1, 2, 3}

Basis :
B1 : (F1)
B2 : (F2)
B3 : (F3)
B4 : (F4)
B5 : (F5)
B6 : (F6)

Matrix :
32838195744530785192799691/312500000000000000000000000 -510002961916689832965486147/6250000000000000000000000000 7865010867468546990312849/625000000000000000000000000 -764267122946192828407145757/6250000000000000000000000000 338221731370970128044377007/12500000000000000000000000000 1309573009454530965844650363/6250000000000000000000000000
-510002961916689832965486147/6250000000000000000000000000 7920746413332311159944978299/125000000000000000000000000000 -122149793768251609821543033/12500000000000000000000000000 11869668462617135533442685669/125000000000000000000000000000 -5252849033659674706574366919/250000000000000000000000000000 -20338697011975779868996096371/125000000000000000000000000000
7865010867468546990312849/625000000000000000000000000 -122149793768251609821543033/12500000000000000000000000000 1883733090168356370182211/1250000000000000000000000000 -183048096624549053443046823/12500000000000000000000000000 81006813332299211434440573/25000000000000000000000000000 313653223558082149977469857/12500000000000000000000000000
-764267122946192828407145757/6250000000000000000000000000 11869668462617135533442685669/125000000000000000000000000000 -183048096624549053443046823/12500000000000000000000000000 17787342512986080290223806139/125000000000000000000000000000 -7871679417582597739745924889/250000000000000000000000000000 -30478641518862862568986501101/125000000000000000000000000000
338221731370970128044377007/12500000000000000000000000000 -5252849033659674706574366919/250000000000000000000000000000 81006813332299211434440573/25000000000000000000000000000 -7871679417582597739745924889/250000000000000000000000000000 3483563483862508975947731139/500000000000000000000000000000 13488136012715400457534632351/250000000000000000000000000000
1309573009454530965844650363/6250000000000000000000000000 -20338697011975779868996096371/125000000000000000000000000000 313653223558082149977469857/12500000000000000000000000000 -30478641518862862568986501101/125000000000000000000000000000 13488136012715400457534632351/250000000000000000000000000000 52225203858145218246539350059/125000000000000000000000000000


--- Term 3 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 4
Matrix dimension   : 4

Flags :
F1 : {1}
F2 : {1, 2}
F3 : {1, 3}
F4 : {1, 2, 3}

Basis :
B1 : (F1)
B2 : (F2)
B3 : (F3)
B4 : (F4)

Matrix :
0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1


--- Term 4 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 4
Matrix dimension   : 3

Flags :
F1 : {0, 1}
F2 : {0, 1, 2}
F3 : {0, 1, 3}
F4 : {0, 1, 2, 3}

Basis :
B1 : (F1)
B2 : (F2)+(F3)
B3 : (F4)

Matrix :
0/1 0/1 0/1
0/1 0/1 0/1
0/1 0/1 0/1


--- Term 5 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 2
Matrix dimension   : 1

Flags :
F1 : {0, 1, 2}
F2 : {0, 1, 3}

Basis :
B1 : (F2)-(F1)

Matrix :
0/1


--- Term 6 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 4
Matrix dimension   : 3

Flags :
F1 : {}
F2 : {2}
F3 : {3}
F4 : {2, 3}

Basis :
B1 : (F1)
B2 : (F2)+(F3)
B3 : (F4)

Matrix :
0/1 0/1 0/1
0/1 0/1 0/1
0/1 0/1 0/1


--- Term 7 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 2
Matrix dimension   : 1

Flags :
F1 : {2}
F2 : {3}

Basis :
B1 : (F2)-(F1)

Matrix :
0/1


--- Term 8 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 12

Flags :
F1  : {3}
F2  : {3, 4}
F3  : {3, 5}
F4  : {3, 4, 5}
F5  : {3, 6}
F6  : {3, 4, 6}
F7  : {3, 5, 6}
F8  : {3, 4, 5, 6}
F9  : {3, 7}
F10 : {3, 4, 7}
F11 : {3, 5, 7}
F12 : {3, 4, 5, 7}
F13 : {3, 6, 7}
F14 : {3, 4, 6, 7}
F15 : {3, 5, 6, 7}
F16 : {3, 4, 5, 6, 7}

Basis :
B1  : (F1)
B2  : (F2)
B3  : (F3)+(F5)
B4  : (F4)+(F6)
B5  : (F7)
B6  : (F8)
B7  : (F9)
B8  : (F10)
B9  : (F11)+(F13)
B10 : (F12)+(F14)
B11 : (F15)
B12 : (F16)

Matrix :
189654711030314195857498689297/125000000000000000000000000000 58960536623864823308977125181/250000000000000000000000000000 113680006262611514661305718929/250000000000000000000000000000 1295411400098504308664296218051/500000000000000000000000000000 -35945871504714356225005592467/500000000000000000000000000000 669416069034798536590055565773/250000000000000000000000000000 -1342107798787808462027932408457/500000000000000000000000000000 -1381391966912891806336035702053/500000000000000000000000000000 -211052117979429679974021104699/100000000000000000000000000000 -11469106792759305320611340401/500000000000000000000000000000 -130161757217838694149261167271/500000000000000000000000000000 58895693447263822892949630129/125000000000000000000000000000
58960536623864823308977125181/250000000000000000000000000000 3693925205580362895438917124649/1000000000000000000000000000000 -315554204834887334354879164719/1000000000000000000000000000000 712831257088645398491975788197/500000000000000000000000000000 -60732172231623747944609178131/40000000000000000000000000000 119732812244749743759658155713/100000000000000000000000000000 -147470358663985771531735039613/62500000000000000000000000000 458164787306284188283998525407/500000000000000000000000000000 -373743790343931192660752096351/500000000000000000000000000000 -332130136529817414690074753401/500000000000000000000000000000 -757695561388721835563020969959/1000000000000000000000000000000 -182763620555154435460552846599/250000000000000000000000000000
113680006262611514661305718929/250000000000000000000000000000 -315554204834887334354879164719/1000000000000000000000000000000 141774195141317415108222628377/500000000000000000000000000000 568270311474838498891855714283/500000000000000000000000000000 6950996858776578830270577497/50000000000000000000000000000 6344926186643770383861484939/6250000000000000000000000000 -465405761343062018467075458661/500000000000000000000000000000 -120651242796437674981902825393/125000000000000000000000000000 -512867203375158321890492305729/500000000000000000000000000000 -36766159054764544948321891323/1000000000000000000000000000000 11791090031576917447576063119/62500000000000000000000000000 90685891270780549509942857323/500000000000000000000000000000
1295411400098504308664296218051/500000000000000000000000000000 712831257088645398491975788197/500000000000000000000000000000 568270311474838498891855714283/500000000000000000000000000000 6768011463052199966881554991501/1000000000000000000000000000000 -538147781387227242387540052121/1000000000000000000000000000000 3044240362695525260213231126849/500000000000000000000000000000 -6583986598730823236410345588347/1000000000000000000000000000000 -4319623012564595770909829662531/1000000000000000000000000000000 -5644548650648455390375615035049/1000000000000000000000000000000 -82764454786066143478937333349/125000000000000000000000000000 48558069857542048150290708711/250000000000000000000000000000 382746994174590045841547618741/1000000000000000000000000000000
-35945871504714356225005592467/500000000000000000000000000000 -60732172231623747944609178131/40000000000000000000000000000 6950996858776578830270577497/50000000000000000000000000000 -538147781387227242387540052121/1000000000000000000000000000000 624500627210994761017842661763/1000000000000000000000000000000 -222440230022690506616557538007/500000000000000000000000000000 923225889481890716262112426687/1000000000000000000000000000000 -84722192538725406681913817607/200000000000000000000000000000 267088053732799223807292198361/1000000000000000000000000000000 10881694197046696705362148531/40000000000000000000000000000 4850189904475156166731733379/15625000000000000000000000000 308528136023521462033856155499/1000000000000000000000000000000
669416069034798536590055565773/250000000000000000000000000000 119732812244749743759658155713/100000000000000000000000000000 6344926186643770383861484939/6250000000000000000000000000 3044240362695525260213231126849/500000000000000000000000000000 -222440230022690506616557538007/500000000000000000000000000000 713841087926758763220197857549/125000000000000000000000000000 -3035446814784208781357903151413/500000000000000000000000000000 -457474822172560996214246160821/100000000000000000000000000000 -2513559710832828444693381984399/500000000000000000000000000000 -45788429406569625419428617937/100000000000000000000000000000 -5206995073884029837449477023/62500000000000000000000000000 267808083935566320191735541079/500000000000000000000000000000
-1342107798787808462027932408457/500000000000000000000000000000 -147470358663985771531735039613/62500000000000000000000000000 -465405761343062018467075458661/500000000000000000000000000000 -6583986598730823236410345588347/1000000000000000000000000000000 923225889481890716262112426687/1000000000000000000000000000000 -3035446814784208781357903151413/500000000000000000000000000000 6812128727851924402237749744369/1000000000000000000000000000000 4157713114638690197789813234217/1000000000000000000000000000000 5318508188572698782318372814003/1000000000000000000000000000000 350860829107607654642584488197/500000000000000000000000000000 15442677593372724315340328817/62500000000000000000000000000 -267026974229317617309812611887/1000000000000000000000000000000
-1381391966912891806336035702053/500000000000000000000000000000 458164787306284188283998525407/500000000000000000000000000000 -120651242796437674981902825393/125000000000000000000000000000 -4319623012564595770909829662531/1000000000000000000000000000000 -84722192538725406681913817607/200000000000000000000000000000 -457474822172560996214246160821/100000000000000000000000000000 4157713114638690197789813234217/1000000000000000000000000000000 5526278657065544549270107463329/1000000000000000000000000000000 3668522214333812755643713415383/1000000000000000000000000000000 -102981850152724840325289717031/500000000000000000000000000000 109473228173626434946289488833/500000000000000000000000000000 -1155992030010058632668110871711/1000000000000000000000000000000
-211052117979429679974021104699/100000000000000000000000000000 -373743790343931192660752096351/500000000000000000000000000000 -512867203375158321890492305729/500000000000000000000000000000 -5644548650648455390375615035049/1000000000000000000000000000000 267088053732799223807292198361/1000000000000000000000000000000 -2513559710832828444693381984399/500000000000000000000000000000 5318508188572698782318372814003/1000000000000000000000000000000 3668522214333812755643713415383/1000000000000000000000000000000 4781513794167505988457422911153/1000000000000000000000000000000 129297494760460451983648639979/250000000000000000000000000000 -85034027840890851168090893679/250000000000000000000000000000 -379182619014127239405518179049/1000000000000000000000000000000
-11469106792759305320611340401/500000000000000000000000000000 -332130136529817414690074753401/500000000000000000000000000000 -36766159054764544948321891323/1000000000000000000000000000000 -82764454786066143478937333349/125000000000000000000000000000 10881694197046696705362148531/40000000000000000000000000000 -45788429406569625419428617937/100000000000000000000000000000 350860829107607654642584488197/500000000000000000000000000000 -102981850152724840325289717031/500000000000000000000000000000 129297494760460451983648639979/250000000000000000000000000000 389917070261308612720878797543/500000000000000000000000000000 -22606003294280626138752234729/500000000000000000000000000000 35807749105306727866602577053/1000000000000000000000000000000
-130161757217838694149261167271/500000000000000000000000000000 -757695561388721835563020969959/1000000000000000000000000000000 11791090031576917447576063119/62500000000000000000000000000 48558069857542048150290708711/250000000000000000000000000000 4850189904475156166731733379/15625000000000000000000000000 -5206995073884029837449477023/62500000000000000000000000000 15442677593372724315340328817/62500000000000000000000000000 109473228173626434946289488833/500000000000000000000000000000 -85034027840890851168090893679/250000000000000000000000000000 -22606003294280626138752234729/500000000000000000000000000000 527693280209185948159859837271/1000000000000000000000000000000 -3403750885030069054476226431/1000000000000000000000000000000
58895693447263822892949630129/125000000000000000000000000000 -182763620555154435460552846599/250000000000000000000000000000 90685891270780549509942857323/500000000000000000000000000000 382746994174590045841547618741/1000000000000000000000000000000 308528136023521462033856155499/1000000000000000000000000000000 267808083935566320191735541079/500000000000000000000000000000 -267026974229317617309812611887/1000000000000000000000000000000 -1155992030010058632668110871711/1000000000000000000000000000000 -379182619014127239405518179049/1000000000000000000000000000000 35807749105306727866602577053/1000000000000000000000000000000 -3403750885030069054476226431/1000000000000000000000000000000 411055976274363416696976855713/500000000000000000000000000000


--- Term 9 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 8
Matrix dimension   : 4

Flags :
F1 : {3, 5}
F2 : {3, 4, 5}
F3 : {3, 6}
F4 : {3, 4, 6}
F5 : {3, 5, 7}
F6 : {3, 4, 5, 7}
F7 : {3, 6, 7}
F8 : {3, 4, 6, 7}

Basis :
B1 : (F3)-(F1)
B2 : (F4)-(F2)
B3 : (F7)-(F5)
B4 : (F8)-(F6)

Matrix :
1717762380252695052424784317/1953125000000000000000000000 315966689036983123967846899547/1000000000000000000000000000000 193841161758585127541508069969/500000000000000000000000000000 -518695156405279120356833015727/1000000000000000000000000000000
315966689036983123967846899547/1000000000000000000000000000000 1778505002414794565837938439901/1000000000000000000000000000000 -1668013700297508557451664533131/1000000000000000000000000000000 -120735051729352632536931354157/125000000000000000000000000000
193841161758585127541508069969/500000000000000000000000000000 -1668013700297508557451664533131/1000000000000000000000000000000 266580808251250743555718324337/125000000000000000000000000000 617516932071261079474725603061/1000000000000000000000000000000
-518695156405279120356833015727/1000000000000000000000000000000 -120735051729352632536931354157/125000000000000000000000000000 617516932071261079474725603061/1000000000000000000000000000000 3348586797138910142852747100691/1000000000000000000000000000000


--- Term 10 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 10

Flags :
F1  : {2, 3}
F2  : {2, 3, 4}
F3  : {2, 3, 5}
F4  : {2, 3, 4, 5}
F5  : {2, 3, 6}
F6  : {2, 3, 4, 6}
F7  : {2, 3, 5, 6}
F8  : {2, 3, 4, 5, 6}
F9  : {2, 3, 7}
F10 : {2, 3, 4, 7}
F11 : {2, 3, 5, 7}
F12 : {2, 3, 4, 5, 7}
F13 : {2, 3, 6, 7}
F14 : {2, 3, 4, 6, 7}
F15 : {2, 3, 5, 6, 7}
F16 : {2, 3, 4, 5, 6, 7}

Basis :
B1  : (F1)
B2  : (F2)+(F3)
B3  : (F4)
B4  : (F5)+(F9)
B5  : (F6)+(F11)
B6  : (F7)+(F10)
B7  : (F8)+(F12)
B8  : (F13)
B9  : (F14)+(F15)
B10 : (F16)

Matrix :
10425835000980159938750693594491/1000000000000000000000000000000 -2857045460941584147955143343029/1000000000000000000000000000000 3669886965801324507761303023/100000000000000000000000000000 -1003736581944668717796540954599/200000000000000000000000000000 847245133548514824350376853479/250000000000000000000000000000 -440666297664080036900524696207/100000000000000000000000000000 10752325926313015002824335911/40000000000000000000000000000 -413365773407933470377946978551/500000000000000000000000000000 -383457019257960742117917534501/1000000000000000000000000000000 147294657696337442132542327631/1000000000000000000000000000000
-2857045460941584147955143343029/1000000000000000000000000000000 2154439123998625210997439448473/1000000000000000000000000000000 -158325598726842003988543671827/250000000000000000000000000000 95066941630554264381074738343/40000000000000000000000000000 41196896602240901657562124763/500000000000000000000000000000 603958332419829533095972519131/500000000000000000000000000000 -1329849073987834842634645723517/1000000000000000000000000000000 -534921288958747915927688228607/500000000000000000000000000000 -225519149309859643923692093179/200000000000000000000000000000 -69022458811919309949084085457/40000000000000000000000000000
3669886965801324507761303023/100000000000000000000000000000 -158325598726842003988543671827/250000000000000000000000000000 594382832680905510743724111301/250000000000000000000000000000 -123433264645734037915663472983/500000000000000000000000000000 -242258086261844871952439819193/250000000000000000000000000000 -343481219807087148220057203821/500000000000000000000000000000 40233989769009110152495065597/15625000000000000000000000000 -330277817975802587838239584737/250000000000000000000000000000 14433940959264331943763099567/500000000000000000000000000000 931385595063873419297945449523/500000000000000000000000000000
-1003736581944668717796540954599/200000000000000000000000000000 95066941630554264381074738343/40000000000000000000000000000 -123433264645734037915663472983/500000000000000000000000000000 3171334689536657521931415274967/1000000000000000000000000000000 -474682771296392318376361609081/500000000000000000000000000000 102454174589486509799717982243/50000000000000000000000000000 -830538763693206367638667814973/1000000000000000000000000000000 -9428355629998657317832609179/12500000000000000000000000000 -772579912809200217203714058481/1000000000000000000000000000000 -1183066371776363475185466501991/1000000000000000000000000000000
847245133548514824350376853479/250000000000000000000000000000 41196896602240901657562124763/500000000000000000000000000000 -242258086261844871952439819193/250000000000000000000000000000 -474682771296392318376361609081/500000000000000000000000000000 2504000067423611726828757496849/1000000000000000000000000000000 -632498504457868463461371973681/500000000000000000000000000000 -167191982305735675654453028873/125000000000000000000000000000 -149898422316125144848739793633/200000000000000000000000000000 -205488674362299600074936083161/200000000000000000000000000000 -183439039350555705517931558907/125000000000000000000000000000
-440666297664080036900524696207/100000000000000000000000000000 603958332419829533095972519131/500000000000000000000000000000 -343481219807087148220057203821/500000000000000000000000000000 102454174589486509799717982243/50000000000000000000000000000 -632498504457868463461371973681/500000000000000000000000000000 207774093501168717628216260947/100000000000000000000000000000 -189013367095830539645029439563/250000000000000000000000000000 192102265682454213179588283/200000000000000000000000000 20727928635655875678966872607/62500000000000000000000000000 -41414347203502417686467392411/100000000000000000000000000000
10752325926313015002824335911/40000000000000000000000000000 -1329849073987834842634645723517/1000000000000000000000000000000 40233989769009110152495065597/15625000000000000000000000000 -830538763693206367638667814973/1000000000000000000000000000000 -167191982305735675654453028873/125000000000000000000000000000 -189013367095830539645029439563/250000000000000000000000000000 3073637979730139175211140983497/1000000000000000000000000000000 -82295443622837485496692354551/125000000000000000000000000000 612228637715378491666832057367/1000000000000000000000000000000 2596113084283541330545481989531/1000000000000000000000000000000
-413365773407933470377946978551/500000000000000000000000000000 -534921288958747915927688228607/500000000000000000000000000000 -330277817975802587838239584737/250000000000000000000000000000 -9428355629998657317832609179/12500000000000000000000000000 -149898422316125144848739793633/200000000000000000000000000000 192102265682454213179588283/200000000000000000000000000 -82295443622837485496692354551/125000000000000000000000000000 3028073023548645751635356795229/1000000000000000000000000000000 335645163832891243108485485751/200000000000000000000000000000 291303590177115758647373618379/500000000000000000000000000000
-383457019257960742117917534501/1000000000000000000000000000000 -225519149309859643923692093179/200000000000000000000000000000 14433940959264331943763099567/500000000000000000000000000000 -772579912809200217203714058481/1000000000000000000000000000000 -205488674362299600074936083161/200000000000000000000000000000 20727928635655875678966872607/62500000000000000000000000000 612228637715378491666832057367/1000000000000000000000000000000 335645163832891243108485485751/200000000000000000000000000000 364812757790119304610685213689/250000000000000000000000000000 1231732780368802369321066015139/1000000000000000000000000000000
147294657696337442132542327631/1000000000000000000000000000000 -69022458811919309949084085457/40000000000000000000000000000 931385595063873419297945449523/500000000000000000000000000000 -1183066371776363475185466501991/1000000000000000000000000000000 -183439039350555705517931558907/125000000000000000000000000000 -41414347203502417686467392411/100000000000000000000000000000 2596113084283541330545481989531/1000000000000000000000000000000 291303590177115758647373618379/500000000000000000000000000000 1231732780368802369321066015139/1000000000000000000000000000000 2646791297403705289464333450531/1000000000000000000000000000000


--- Term 11 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 12
Matrix dimension   : 6

Flags :
F1  : {2, 3, 4}
F2  : {2, 3, 5}
F3  : {2, 3, 6}
F4  : {2, 3, 4, 6}
F5  : {2, 3, 5, 6}
F6  : {2, 3, 4, 5, 6}
F7  : {2, 3, 7}
F8  : {2, 3, 4, 7}
F9  : {2, 3, 5, 7}
F10 : {2, 3, 4, 5, 7}
F11 : {2, 3, 4, 6, 7}
F12 : {2, 3, 5, 6, 7}

Basis :
B1 : (F2)-(F1)
B2 : (F7)-(F3)
B3 : (F9)-(F4)
B4 : (F8)-(F5)
B5 : (F10)-(F6)
B6 : (F12)-(F11)

Matrix :
20095185663605335950370247469/250000000000000000000000000000 -281888616991603941284867963863/500000000000000000000000000000 1013857834991571238527789/50000000000000000000000000000 -8067706947692751730378564367/15625000000000000000000000000 -25371532892657085573957488039/250000000000000000000000000000 230017232328151966691165271/4000000000000000000000000000
-281888616991603941284867963863/500000000000000000000000000000 3958593577639975998884462643367/1000000000000000000000000000000 4170028918478757301652072227/250000000000000000000000000000 226554224006370458052355890319/62500000000000000000000000000 75615973730349019524980705711/100000000000000000000000000000 -385962917331146396858907695767/1000000000000000000000000000000
1013857834991571238527789/50000000000000000000000000000 4170028918478757301652072227/250000000000000000000000000000 788310858846503674549789022091/500000000000000000000000000000 202747206247500674157141181/15625000000000000000000000000 4284134775126299858800429381/25000000000000000000000000000 20829568724054236604332086087/125000000000000000000000000000
-8067706947692751730378564367/15625000000000000000000000000 226554224006370458052355890319/62500000000000000000000000000 202747206247500674157141181/15625000000000000000000000000 165967870874718523511459207453/50000000000000000000000000000 5362971909784599949921749769/7812500000000000000000000000 -3558571871732502410028606499/10000000000000000000000000000
-25371532892657085573957488039/250000000000000000000000000000 75615973730349019524980705711/100000000000000000000000000000 4284134775126299858800429381/25000000000000000000000000000 5362971909784599949921749769/7812500000000000000000000000 2265674435633552104692941277/3906250000000000000000000000 52147096905516092338358451529/500000000000000000000000000000
230017232328151966691165271/4000000000000000000000000000 -385962917331146396858907695767/1000000000000000000000000000000 20829568724054236604332086087/125000000000000000000000000000 -3558571871732502410028606499/10000000000000000000000000000 52147096905516092338358451529/500000000000000000000000000000 112736056585332567818944339287/200000000000000000000000000000


--- Term 12 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 9

Flags :
F1  : {1, 2}
F2  : {1, 2, 4}
F3  : {1, 2, 5}
F4  : {1, 2, 4, 5}
F5  : {1, 2, 6}
F6  : {1, 2, 4, 6}
F7  : {1, 2, 5, 6}
F8  : {1, 2, 4, 5, 6}
F9  : {1, 2, 7}
F10 : {1, 2, 4, 7}
F11 : {1, 2, 5, 7}
F12 : {1, 2, 4, 5, 7}
F13 : {1, 2, 6, 7}
F14 : {1, 2, 4, 6, 7}
F15 : {1, 2, 5, 6, 7}
F16 : {1, 2, 4, 5, 6, 7}

Basis :
B1 : (F1)
B2 : (F2)+(F9)
B3 : (F3)+(F5)
B4 : (F4)+(F6)+(F11)+(F13)
B5 : (F7)
B6 : (F8)+(F15)
B7 : (F10)
B8 : (F12)+(F14)
B9 : (F16)

Matrix :
38080386471338243564492209517/50000000000000000000000000000 9101795950704438266369112301/25000000000000000000000000000 -2376808367448091622204227057/100000000000000000000000000000 -4153608168818473644734210649/25000000000000000000000000000 -3616280168217706154126863967/4000000000000000000000000000 -44620042448208646468783121201/200000000000000000000000000000 28039977803415516345973156091/100000000000000000000000000000 -788016223883937006041685497/3125000000000000000000000000 -20769378669224745162279704477/40000000000000000000000000000
9101795950704438266369112301/25000000000000000000000000000 10064824916895633885404447771/50000000000000000000000000000 323013137380766975693216393/4000000000000000000000000000 -6910273406691734830940092449/50000000000000000000000000000 -1807628989362421141517059823/4000000000000000000000000000 -29014198494878407690819542239/200000000000000000000000000000 11815765565617862162205347183/100000000000000000000000000000 -6887175469394967000506475587/50000000000000000000000000000 -52731690689711485623036854443/200000000000000000000000000000
-2376808367448091622204227057/100000000000000000000000000000 323013137380766975693216393/4000000000000000000000000000 15601124711613364881969749717/50000000000000000000000000000 -3869183027815301057969625387/20000000000000000000000000000 -153889706500894190362297333/4000000000000000000000000000 -12287618772122380919694906827/100000000000000000000000000000 -1248402313593664064968133593/20000000000000000000000000000 -5025646464886083770239217183/100000000000000000000000000000 -1800008445808378771782841793/50000000000000000000000000000
-4153608168818473644734210649/25000000000000000000000000000 -6910273406691734830940092449/50000000000000000000000000000 -3869183027815301057969625387/20000000000000000000000000000 8150463799346007490045640931/50000000000000000000000000000 959113725097301666162472657/4000000000000000000000000000 26305173928748752086868365801/200000000000000000000000000000 -2691983885012040695305059777/100000000000000000000000000000 4605143071514169218596187313/50000000000000000000000000000 29316994305767237551691948397/200000000000000000000000000000
-3616280168217706154126863967/4000000000000000000000000000 -1807628989362421141517059823/4000000000000000000000000000 -153889706500894190362297333/4000000000000000000000000000 959113725097301666162472657/4000000000000000000000000000 86997360184692945552943079/80000000000000000000000000 2341182495331016846457859339/8000000000000000000000000000 -321352135747862200007466193/1000000000000000000000000000 1247145401526730902363574277/4000000000000000000000000000 5020348638771021567986256581/8000000000000000000000000000
-44620042448208646468783121201/200000000000000000000000000000 -29014198494878407690819542239/200000000000000000000000000000 -12287618772122380919694906827/100000000000000000000000000000 26305173928748752086868365801/200000000000000000000000000000 2341182495331016846457859339/8000000000000000000000000000 23902121123139375194607666581/200000000000000000000000000000 -11950457027852554950320530621/200000000000000000000000000000 19622510895457090933278174881/200000000000000000000000000000 17387603089102697378337972047/100000000000000000000000000000
28039977803415516345973156091/100000000000000000000000000000 11815765565617862162205347183/100000000000000000000000000000 -1248402313593664064968133593/20000000000000000000000000000 -2691983885012040695305059777/100000000000000000000000000000 -321352135747862200007466193/1000000000000000000000000000 -11950457027852554950320530621/200000000000000000000000000000 5624385602449834279354969121/50000000000000000000000000000 -8281742568277097662035762221/100000000000000000000000000000 -36432966668369646340945406087/200000000000000000000000000000
-788016223883937006041685497/3125000000000000000000000000 -6887175469394967000506475587/50000000000000000000000000000 -5025646464886083770239217183/100000000000000000000000000000 4605143071514169218596187313/50000000000000000000000000000 1247145401526730902363574277/4000000000000000000000000000 19622510895457090933278174881/200000000000000000000000000000 -8281742568277097662035762221/100000000000000000000000000000 4717241090456348355958724687/50000000000000000000000000000 7266584037755515583116239737/40000000000000000000000000000
-20769378669224745162279704477/40000000000000000000000000000 -52731690689711485623036854443/200000000000000000000000000000 -1800008445808378771782841793/50000000000000000000000000000 29316994305767237551691948397/200000000000000000000000000000 5020348638771021567986256581/8000000000000000000000000000 17387603089102697378337972047/100000000000000000000000000000 -36432966668369646340945406087/200000000000000000000000000000 7266584037755515583116239737/40000000000000000000000000000 72549782706114613719284508899/200000000000000000000000000000


--- Term 13 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 12
Matrix dimension   : 7

Flags :
F1  : {1, 2, 4}
F2  : {1, 2, 5}
F3  : {1, 2, 4, 5}
F4  : {1, 2, 6}
F5  : {1, 2, 4, 6}
F6  : {1, 2, 4, 5, 6}
F7  : {1, 2, 7}
F8  : {1, 2, 5, 7}
F9  : {1, 2, 4, 5, 7}
F10 : {1, 2, 6, 7}
F11 : {1, 2, 4, 6, 7}
F12 : {1, 2, 5, 6, 7}

Basis :
B1 : (F7)-(F1)
B2 : (F4)-(F2)
B3 : (F5)-(F3)
B4 : (F8)-(F3)
B5 : (F10)-(F3)
B6 : (F12)-(F6)
B7 : (F11)-(F9)

Matrix :
21787042503339085612341097/1000000000000000000000000000000 30931133974254414921/250000000000000000000000000000 -3846127888078206561436479/1000000000000000000000000000000 3845955143050676648037619/1000000000000000000000000000000 3846319829675760561747947/1000000000000000000000000000000 -2755722550448098774113280219/1000000000000000000000000000000 3079677431995638539/125000000000000000000000000000
30931133974254414921/250000000000000000000000000000 1980806169161684587434165443869/1000000000000000000000000000000 1532256699581862522493806925943/1000000000000000000000000000000 -1532256974407590925725777662461/1000000000000000000000000000000 766128487228220178015748501001/500000000000000000000000000000 1439927129843384719337/1000000000000000000000000000000 172509994150019986211558147937/500000000000000000000000000000
-3846127888078206561436479/1000000000000000000000000000000 1532256699581862522493806925943/1000000000000000000000000000000 366151640085075108377114757601/250000000000000000000000000000 -453943443825815353428430860811/500000000000000000000000000000 907885529694271091744891493839/1000000000000000000000000000000 121622751487012493124540667/250000000000000000000000000000 137958370112314659805361501373/500000000000000000000000000000
3845955143050676648037619/1000000000000000000000000000000 -1532256974407590925725777662461/1000000000000000000000000000000 -453943443825815353428430860811/500000000000000000000000000000 183075872641293289360979185453/125000000000000000000000000000 -1464605623278173751868913352303/1000000000000000000000000000000 -243232265876858512953024659/500000000000000000000000000000 -137958383983028937054207209503/500000000000000000000000000000
3846319829675760561747947/1000000000000000000000000000000 766128487228220178015748501001/500000000000000000000000000000 907885529694271091744891493839/1000000000000000000000000000000 -1464605623278173751868913352303/1000000000000000000000000000000 1464606981310649000271843302631/1000000000000000000000000000000 -486488800638277238633727519/1000000000000000000000000000000 4311199499572490633911830063/15625000000000000000000000000
-2755722550448098774113280219/1000000000000000000000000000000 1439927129843384719337/1000000000000000000000000000000 121622751487012493124540667/250000000000000000000000000000 -243232265876858512953024659/500000000000000000000000000000 -486488800638277238633727519/1000000000000000000000000000000 174278054809052656965116174339/500000000000000000000000000000 33539646780751204593/500000000000000000000000000000
3079677431995638539/125000000000000000000000000000 172509994150019986211558147937/500000000000000000000000000000 137958370112314659805361501373/500000000000000000000000000000 -137958383983028937054207209503/500000000000000000000000000000 4311199499572490633911830063/15625000000000000000000000000 33539646780751204593/500000000000000000000000000000 36115760483579511078127139923/250000000000000000000000000000


--- Term 14 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 12

Flags :
F1  : {1, 2, 3}
F2  : {1, 2, 3, 4}
F3  : {1, 2, 3, 5}
F4  : {1, 2, 3, 4, 5}
F5  : {1, 2, 3, 6}
F6  : {1, 2, 3, 4, 6}
F7  : {1, 2, 3, 5, 6}
F8  : {1, 2, 3, 4, 5, 6}
F9  : {1, 2, 3, 7}
F10 : {1, 2, 3, 4, 7}
F11 : {1, 2, 3, 5, 7}
F12 : {1, 2, 3, 4, 5, 7}
F13 : {1, 2, 3, 6, 7}
F14 : {1, 2, 3, 4, 6, 7}
F15 : {1, 2, 3, 5, 6, 7}
F16 : {1, 2, 3, 4, 5, 6, 7}

Basis :
B1  : (F1)
B2  : (F2)
B3  : (F3)+(F5)
B4  : (F4)+(F6)
B5  : (F7)
B6  : (F8)
B7  : (F9)
B8  : (F10)
B9  : (F11)+(F13)
B10 : (F12)+(F14)
B11 : (F15)
B12 : (F16)

Matrix :
1646263747011431261504676194859/500000000000000000000000000000 -3375091586089697605316976797367/1000000000000000000000000000000 -221264366689968556355261998749/500000000000000000000000000000 -21886609619894382861515490991/25000000000000000000000000000 -280940057685815196117086123463/200000000000000000000000000000 -106235811245466390270416357889/100000000000000000000000000000 929267458909576313577436826983/1000000000000000000000000000000 575736153457069501382354965197/500000000000000000000000000000 213139540247248057910427716569/500000000000000000000000000000 258995838405735875567165074697/250000000000000000000000000000 -229717036700378375542379171989/1000000000000000000000000000000 1241639563546445312469879041829/1000000000000000000000000000000
-3375091586089697605316976797367/1000000000000000000000000000000 871901003547801494495835387081/200000000000000000000000000000 1179257568816465365766783851919/1000000000000000000000000000000 644422986569427571432062749489/1000000000000000000000000000000 8965939791815965738499914629/500000000000000000000000000000 -131220018658582389213199820673/1000000000000000000000000000000 -121059069556496443920130235747/100000000000000000000000000000 -1243809630739820564059590411249/1000000000000000000000000000000 -176825121140846681586252200537/500000000000000000000000000000 -1361198223911361744931800417877/1000000000000000000000000000000 644044655658982246919567495987/1000000000000000000000000000000 -147644026597944012666291792291/100000000000000000000000000000
-221264366689968556355261998749/500000000000000000000000000000 1179257568816465365766783851919/1000000000000000000000000000000 142818793272121719027708393693/125000000000000000000000000000 -51052293177784466689353024327/500000000000000000000000000000 -186059876059709615095092950997/200000000000000000000000000000 -427772109027430691970917094621/500000000000000000000000000000 -339809691503121716854885146303/1000000000000000000000000000000 -101792001395512455438482434287/500000000000000000000000000000 -22691221317154330015415077629/500000000000000000000000000000 -5750494405540354848961737597/15625000000000000000000000000 375570065649474114208641267111/1000000000000000000000000000000 -13952802612993660220717674939/40000000000000000000000000000
-21886609619894382861515490991/25000000000000000000000000000 644422986569427571432062749489/1000000000000000000000000000000 -51052293177784466689353024327/500000000000000000000000000000 29208675236761168027824406981/62500000000000000000000000000 485988858064547687109324720731/1000000000000000000000000000000 193448334313651485998827040989/250000000000000000000000000000 -103629685786511465078396893679/1000000000000000000000000000000 -2443823825733836208821267767/7812500000000000000000000000 -96983826464296748930794414797/500000000000000000000000000000 -160700737882309375362259142621/500000000000000000000000000000 -211639254484986411313398962299/1000000000000000000000000000000 -89208062402211378750925757167/1000000000000000000000000000000
-280940057685815196117086123463/200000000000000000000000000000 8965939791815965738499914629/500000000000000000000000000000 -186059876059709615095092950997/200000000000000000000000000000 485988858064547687109324720731/1000000000000000000000000000000 3351804782313564848308353731061/1000000000000000000000000000000 2121026457072270800242680058239/1000000000000000000000000000000 -113361555675222631622973816017/1000000000000000000000000000000 -347911709906416728916464472341/1000000000000000000000000000000 -53243480986084909201464806101/250000000000000000000000000000 259633574973758195820409302821/1000000000000000000000000000000 -135079442845209104886459182813/500000000000000000000000000000 -530800528035433125476405036703/1000000000000000000000000000000
-106235811245466390270416357889/100000000000000000000000000000 -131220018658582389213199820673/1000000000000000000000000000000 -427772109027430691970917094621/500000000000000000000000000000 193448334313651485998827040989/250000000000000000000000000000 2121026457072270800242680058239/1000000000000000000000000000000 1065996481096283714300444467407/500000000000000000000000000000 22877823601025566037158066561/200000000000000000000000000000 -153836920817107087528237996827/500000000000000000000000000000 -151204534606278350267937319633/500000000000000000000000000000 -181422388354640940919252439/3906250000000000000000000000 -623113050011472525819086557163/1000000000000000000000000000000 42162972241378192864413723567/1000000000000000000000000000000
929267458909576313577436826983/1000000000000000000000000000000 -121059069556496443920130235747/100000000000000000000000000000 -339809691503121716854885146303/1000000000000000000000000000000 -103629685786511465078396893679/1000000000000000000000000000000 -113361555675222631622973816017/1000000000000000000000000000000 22877823601025566037158066561/200000000000000000000000000000 367029131882673889567834035723/1000000000000000000000000000000 332561346864707556856025360081/1000000000000000000000000000000 35800827392402183963158607593/500000000000000000000000000000 64352013424837025818712213043/200000000000000000000000000000 -7827559082110892032944985221/31250000000000000000000000000 488532108740375017426814901289/1000000000000000000000000000000
575736153457069501382354965197/500000000000000000000000000000 -1243809630739820564059590411249/1000000000000000000000000000000 -101792001395512455438482434287/500000000000000000000000000000 -2443823825733836208821267767/7812500000000000000000000000 -347911709906416728916464472341/1000000000000000000000000000000 -153836920817107087528237996827/500000000000000000000000000000 332561346864707556856025360081/1000000000000000000000000000000 205420229785565531845417167699/500000000000000000000000000000 75885957726114955226577025979/500000000000000000000000000000 100725146332845873187408200097/250000000000000000000000000000 -85506721169593145066408903411/1000000000000000000000000000000 84215461619092274530824184647/200000000000000000000000000000
213139540247248057910427716569/500000000000000000000000000000 -176825121140846681586252200537/500000000000000000000000000000 -22691221317154330015415077629/500000000000000000000000000000 -96983826464296748930794414797/500000000000000000000000000000 -53243480986084909201464806101/250000000000000000000000000000 -151204534606278350267937319633/500000000000000000000000000000 35800827392402183963158607593/500000000000000000000000000000 75885957726114955226577025979/500000000000000000000000000000 81902859404600520208162487047/500000000000000000000000000000 75971809373096221958663642117/500000000000000000000000000000 633338137137094411981051009/10000000000000000000000000000 38805908249783591067334922293/500000000000000000000000000000
258995838405735875567165074697/250000000000000000000000000000 -1361198223911361744931800417877/1000000000000000000000000000000 -5750494405540354848961737597/15625000000000000000000000000 -160700737882309375362259142621/500000000000000000000000000000 259633574973758195820409302821/1000000000000000000000000000000 -181422388354640940919252439/3906250000000000000000000000 64352013424837025818712213043/200000000000000000000000000000 100725146332845873187408200097/250000000000000000000000000000 75971809373096221958663642117/500000000000000000000000000000 52902046600561389736302129273/100000000000000000000000000000 -16504166283161338276887839319/200000000000000000000000000000 312215644393800152833918908977/1000000000000000000000000000000
-229717036700378375542379171989/1000000000000000000000000000000 644044655658982246919567495987/1000000000000000000000000000000 375570065649474114208641267111/1000000000000000000000000000000 -211639254484986411313398962299/1000000000000000000000000000000 -135079442845209104886459182813/500000000000000000000000000000 -623113050011472525819086557163/1000000000000000000000000000000 -7827559082110892032944985221/31250000000000000000000000000 -85506721169593145066408903411/1000000000000000000000000000000 633338137137094411981051009/10000000000000000000000000000 -16504166283161338276887839319/200000000000000000000000000000 353998006785572020234343527617/1000000000000000000000000000000 -178253159490675531771463776143/500000000000000000000000000000
1241639563546445312469879041829/1000000000000000000000000000000 -147644026597944012666291792291/100000000000000000000000000000 -13952802612993660220717674939/40000000000000000000000000000 -89208062402211378750925757167/1000000000000000000000000000000 -530800528035433125476405036703/1000000000000000000000000000000 42162972241378192864413723567/1000000000000000000000000000000 488532108740375017426814901289/1000000000000000000000000000000 84215461619092274530824184647/200000000000000000000000000000 38805908249783591067334922293/500000000000000000000000000000 312215644393800152833918908977/1000000000000000000000000000000 -178253159490675531771463776143/500000000000000000000000000000 720762050239045350592827801393/1000000000000000000000000000000


--- Term 15 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 8
Matrix dimension   : 4

Flags :
F1 : {1, 2, 3, 5}
F2 : {1, 2, 3, 4, 5}
F3 : {1, 2, 3, 6}
F4 : {1, 2, 3, 4, 6}
F5 : {1, 2, 3, 5, 7}
F6 : {1, 2, 3, 4, 5, 7}
F7 : {1, 2, 3, 6, 7}
F8 : {1, 2, 3, 4, 6, 7}

Basis :
B1 : (F3)-(F1)
B2 : (F4)-(F2)
B3 : (F7)-(F5)
B4 : (F8)-(F6)

Matrix :
88378623733285494378006017431/31250000000000000000000000000 496049842371055125034450669/100000000000000000000000000000 159518816001234310432173870517/250000000000000000000000000000 2422872300245856542529604407/125000000000000000000000000000
496049842371055125034450669/100000000000000000000000000000 7221312841481580416660154997/200000000000000000000000000000 4324199720514909070403414713/50000000000000000000000000000 14108516476462841574136864203/100000000000000000000000000000
159518816001234310432173870517/250000000000000000000000000000 4324199720514909070403414713/50000000000000000000000000000 201008782090652832883247527887/125000000000000000000000000000 675866501034467586452548437/2000000000000000000000000000
2422872300245856542529604407/125000000000000000000000000000 14108516476462841574136864203/100000000000000000000000000000 675866501034467586452548437/2000000000000000000000000000 17227670502586271051985578781/31250000000000000000000000000


--- Term 16 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 6

Flags :
F1  : {0, 1, 2, 3}
F2  : {0, 1, 2, 3, 4}
F3  : {0, 1, 2, 3, 5}
F4  : {0, 1, 2, 3, 4, 5}
F5  : {0, 1, 2, 3, 6}
F6  : {0, 1, 2, 3, 4, 6}
F7  : {0, 1, 2, 3, 5, 6}
F8  : {0, 1, 2, 3, 4, 5, 6}
F9  : {0, 1, 2, 3, 7}
F10 : {0, 1, 2, 3, 4, 7}
F11 : {0, 1, 2, 3, 5, 7}
F12 : {0, 1, 2, 3, 4, 5, 7}
F13 : {0, 1, 2, 3, 6, 7}
F14 : {0, 1, 2, 3, 4, 6, 7}
F15 : {0, 1, 2, 3, 5, 6, 7}
F16 : {0, 1, 2, 3, 4, 5, 6, 7}

Basis :
B1 : (F1)
B2 : (F2)+(F3)+(F5)+(F9)
B3 : (F4)+(F6)+(F11)+(F13)
B4 : (F7)+(F10)
B5 : (F8)+(F12)+(F14)+(F15)
B6 : (F16)

Matrix :
1393508045704256241142374297/250000000000000000000000000000 1273309787436002057660812293/500000000000000000000000000000 -185695662645630267023646501/250000000000000000000000000000 -121289030017596699473394393/100000000000000000000000000000 1037604816633467107468673553/500000000000000000000000000000 -8948256265903122709744736829/500000000000000000000000000000
1273309787436002057660812293/500000000000000000000000000000 28676734310509357032363712069/1000000000000000000000000000000 -33935664311146950564863913/100000000000000000000000000000 -554135693857842472813108821/1000000000000000000000000000000 948105304515226471091709969/1000000000000000000000000000000 -8176416579743910535657753357/1000000000000000000000000000000
-185695662645630267023646501/250000000000000000000000000000 -33935664311146950564863913/100000000000000000000000000000 24745374977704301230279141/250000000000000000000000000000 80813479585547280220418573/500000000000000000000000000000 -5530752824370602923808609/20000000000000000000000000000 238484791234918413231413169/100000000000000000000000000000
-121289030017596699473394393/100000000000000000000000000000 -554135693857842472813108821/1000000000000000000000000000000 80813479585547280220418573/500000000000000000000000000000 263920772613385938096725173/1000000000000000000000000000000 -451558504233310444159048801/1000000000000000000000000000000 3894219793656684217474790013/1000000000000000000000000000000
1037604816633467107468673553/500000000000000000000000000000 948105304515226471091709969/1000000000000000000000000000000 -5530752824370602923808609/20000000000000000000000000000 -451558504233310444159048801/1000000000000000000000000000000 772599597698671923240519469/1000000000000000000000000000000 -6662863433471831567371056057/1000000000000000000000000000000
-8948256265903122709744736829/500000000000000000000000000000 -8176416579743910535657753357/1000000000000000000000000000000 238484791234918413231413169/100000000000000000000000000000 3894219793656684217474790013/1000000000000000000000000000000 -6662863433471831567371056057/1000000000000000000000000000000 57460228125061002315931624021/1000000000000000000000000000000


--- Term 17 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 14
Matrix dimension   : 10

Flags :
F1  : {0, 1, 2, 3, 4}
F2  : {0, 1, 2, 3, 5}
F3  : {0, 1, 2, 3, 4, 5}
F4  : {0, 1, 2, 3, 6}
F5  : {0, 1, 2, 3, 4, 6}
F6  : {0, 1, 2, 3, 5, 6}
F7  : {0, 1, 2, 3, 4, 5, 6}
F8  : {0, 1, 2, 3, 7}
F9  : {0, 1, 2, 3, 4, 7}
F10 : {0, 1, 2, 3, 5, 7}
F11 : {0, 1, 2, 3, 4, 5, 7}
F12 : {0, 1, 2, 3, 6, 7}
F13 : {0, 1, 2, 3, 4, 6, 7}
F14 : {0, 1, 2, 3, 5, 6, 7}

Basis :
B1  : (F2)-(F1)
B2  : (F4)-(F1)
B3  : (F8)-(F1)
B4  : (F5)-(F3)
B5  : (F10)-(F3)
B6  : (F12)-(F3)
B7  : (F9)-(F6)
B8  : (F11)-(F7)
B9  : (F13)-(F7)
B10 : (F14)-(F7)

Matrix :
313050480993910769835586431391/1000000000000000000000000000000 -7719294574248704420582625383/31250000000000000000000000000 -4127066684360035265921597101/125000000000000000000000000000 194822468928861610359/200000000000000000000000000000 194822468928861610359/200000000000000000000000000000 -194822468928861610359/200000000000000000000000000000 0/1 -36674960374457144112611173237/1000000000000000000000000000000 36674960374457144112611173237/1000000000000000000000000000000 -116978116000310519309/1000000000000000000000000000000
-7719294574248704420582625383/31250000000000000000000000000 313050480981050304187291019007/1000000000000000000000000000000 -33016533861519962710176818701/1000000000000000000000000000000 -268764113345667445937/250000000000000000000000000000 -268764113345667445937/250000000000000000000000000000 268764113345667445937/250000000000000000000000000000 0/1 18337480182152367932295068333/500000000000000000000000000000 -18337480182152367932295068333/500000000000000000000000000000 -89276821800477555053/1000000000000000000000000000000
-4127066684360035265921597101/125000000000000000000000000000 -33016533861519962710176818701/1000000000000000000000000000000 313050472522037422105195726083/1000000000000000000000000000000 -563268211789591060357/500000000000000000000000000000 -563268211789591060357/500000000000000000000000000000 563268211789591060357/500000000000000000000000000000 0/1 -762094080992877869/25000000000000000000000000000 762094080992877869/25000000000000000000000000000 -36674957131458484116849982671/1000000000000000000000000000000
194822468928861610359/200000000000000000000000000000 -268764113345667445937/250000000000000000000000000000 -563268211789591060357/500000000000000000000000000000 292261392575927484616615781517/1000000000000000000000000000000 292261392575927484616615781517/1000000000000000000000000000000 -292261392575927484616615781517/1000000000000000000000000000000 0/1 -564427366498540126301/1000000000000000000000000000000 564427366498540126301/1000000000000000000000000000000 547208043888832371861/1000000000000000000000000000000
194822468928861610359/200000000000000000000000000000 -268764113345667445937/250000000000000000000000000000 -563268211789591060357/500000000000000000000000000000 292261392575927484616615781517/1000000000000000000000000000000 292261392575927484616615781517/1000000000000000000000000000000 -292261392575927484616615781517/1000000000000000000000000000000 0/1 -564427366498540126301/1000000000000000000000000000000 564427366498540126301/1000000000000000000000000000000 547208043888832371861/1000000000000000000000000000000
-194822468928861610359/200000000000000000000000000000 268764113345667445937/250000000000000000000000000000 563268211789591060357/500000000000000000000000000000 -292261392575927484616615781517/1000000000000000000000000000000 -292261392575927484616615781517/1000000000000000000000000000000 292261392575927484616615781517/1000000000000000000000000000000 0/1 564427366498540126301/1000000000000000000000000000000 -564427366498540126301/1000000000000000000000000000000 -547208043888832371861/1000000000000000000000000000000
0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1
-36674960374457144112611173237/1000000000000000000000000000000 18337480182152367932295068333/500000000000000000000000000000 -762094080992877869/25000000000000000000000000000 -564427366498540126301/1000000000000000000000000000000 -564427366498540126301/1000000000000000000000000000000 564427366498540126301/1000000000000000000000000000000 0/1 114270738085294769404059863841/1000000000000000000000000000000 -114270738085294769404059863841/1000000000000000000000000000000 -353998954788729834167/1000000000000000000000000000000
36674960374457144112611173237/1000000000000000000000000000000 -18337480182152367932295068333/500000000000000000000000000000 762094080992877869/25000000000000000000000000000 564427366498540126301/1000000000000000000000000000000 564427366498540126301/1000000000000000000000000000000 -564427366498540126301/1000000000000000000000000000000 0/1 -114270738085294769404059863841/1000000000000000000000000000000 114270738085294769404059863841/1000000000000000000000000000000 353998954788729834167/1000000000000000000000000000000
-116978116000310519309/1000000000000000000000000000000 -89276821800477555053/1000000000000000000000000000000 -36674957131458484116849982671/1000000000000000000000000000000 547208043888832371861/1000000000000000000000000000000 547208043888832371861/1000000000000000000000000000000 -547208043888832371861/1000000000000000000000000000000 0/1 -353998954788729834167/1000000000000000000000000000000 353998954788729834167/1000000000000000000000000000000 14283842585982483492273811607/125000000000000000000000000000


--- Term 18 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 6

Flags :
F1  : {}
F2  : {4}
F3  : {5}
F4  : {4, 5}
F5  : {6}
F6  : {4, 6}
F7  : {5, 6}
F8  : {4, 5, 6}
F9  : {7}
F10 : {4, 7}
F11 : {5, 7}
F12 : {4, 5, 7}
F13 : {6, 7}
F14 : {4, 6, 7}
F15 : {5, 6, 7}
F16 : {4, 5, 6, 7}

Basis :
B1 : (F1)
B2 : (F2)+(F3)+(F5)+(F9)
B3 : (F4)+(F6)+(F11)+(F13)
B4 : (F7)+(F10)
B5 : (F8)+(F12)+(F14)+(F15)
B6 : (F16)

Matrix :
34877899014897454654691221/488281250000000000000000000 734929926203262699500171317/15625000000000000000000000000 -537337363122013335747037889/15625000000000000000000000000 2642868594558528948186073069/31250000000000000000000000000 -238425652381095248202270859/1250000000000000000000000000 -8195504387191371664803234507/31250000000000000000000000000
734929926203262699500171317/15625000000000000000000000000 31537841951970814821169397739/125000000000000000000000000000 -974720750368114430460964821/12500000000000000000000000000 19772075668710484993047362981/50000000000000000000000000000 -150597726556494016228928393701/250000000000000000000000000000 -165040178967749002555615165581/250000000000000000000000000000
-537337363122013335747037889/15625000000000000000000000000 -974720750368114430460964821/12500000000000000000000000000 3798732496320518329243218957/125000000000000000000000000000 -3926710800102518111561990149/31250000000000000000000000000 26378610702007553402540616523/125000000000000000000000000000 31016149541611860083456280531/125000000000000000000000000000
2642868594558528948186073069/31250000000000000000000000000 19772075668710484993047362981/50000000000000000000000000000 -3926710800102518111561990149/31250000000000000000000000000 310833209174999267964037162327/500000000000000000000000000000 -478864588254758231179506489031/500000000000000000000000000000 -529396714875261853582791089727/500000000000000000000000000000
-238425652381095248202270859/1250000000000000000000000000 -150597726556494016228928393701/250000000000000000000000000000 26378610702007553402540616523/125000000000000000000000000000 -478864588254758231179506489031/500000000000000000000000000000 768221520518529771520782260107/500000000000000000000000000000 175041467926890144191913218631/100000000000000000000000000000
-8195504387191371664803234507/31250000000000000000000000000 -165040178967749002555615165581/250000000000000000000000000000 31016149541611860083456280531/125000000000000000000000000000 -529396714875261853582791089727/500000000000000000000000000000 175041467926890144191913218631/100000000000000000000000000000 1018251431780819725154088214011/500000000000000000000000000000


--- Term 19 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 14
Matrix dimension   : 10

Flags :
F1  : {4}
F2  : {5}
F3  : {4, 5}
F4  : {6}
F5  : {4, 6}
F6  : {5, 6}
F7  : {4, 5, 6}
F8  : {7}
F9  : {4, 7}
F10 : {5, 7}
F11 : {4, 5, 7}
F12 : {6, 7}
F13 : {4, 6, 7}
F14 : {5, 6, 7}

Basis :
B1  : (F2)-(F1)
B2  : (F4)-(F1)
B3  : (F8)-(F1)
B4  : (F5)-(F3)
B5  : (F10)-(F3)
B6  : (F12)-(F3)
B7  : (F9)-(F6)
B8  : (F11)-(F7)
B9  : (F13)-(F7)
B10 : (F14)-(F7)

Matrix :
35219749501793089286110661801/125000000000000000000000000000 -125008469821608271925134178859/500000000000000000000000000000 -396763028808002892087317291/25000000000000000000000000000 -159514320841788299082153629329/500000000000000000000000000000 15951432402268263573797921803/50000000000000000000000000000 -19939289442225043414661302147/62500000000000000000000000000 8576490583413198992077759283/500000000000000000000000000000 137208287220295925722654595561/500000000000000000000000000000 -20579731936600435932388117729/62500000000000000000000000000 548591525406467340852912657/20000000000000000000000000000
-125008469821608271925134178859/500000000000000000000000000000 281757996075932161475676879227/1000000000000000000000000000000 -15870531343735426103708604243/1000000000000000000000000000000 63805727408948227836431552939/200000000000000000000000000000 -319028643376788586516139483133/1000000000000000000000000000000 319028635790350852731061224811/1000000000000000000000000000000 2144122660132192508330947749/125000000000000000000000000000 -5144932984851816989224647741/15625000000000000000000000000 54883314894924033347821005079/200000000000000000000000000000 6857391176539848571610178301/250000000000000000000000000000
-396763028808002892087317291/25000000000000000000000000000 -15870531343735426103708604243/1000000000000000000000000000000 281757986169720382967406753421/1000000000000000000000000000000 -319028636233995159648396506789/1000000000000000000000000000000 319028629794709085509384253561/1000000000000000000000000000000 319028624091778530726860205287/1000000000000000000000000000000 -2144122396864709515455321787/125000000000000000000000000000 214293520756961076104147303/7812500000000000000000000000 27429559101416211861859838633/1000000000000000000000000000000 34302071113904905156525705779/125000000000000000000000000000
-159514320841788299082153629329/500000000000000000000000000000 63805727408948227836431552939/200000000000000000000000000000 -319028636233995159648396506789/1000000000000000000000000000000 949293258219850991115876954839/1000000000000000000000000000000 -581869868682854852176280042479/1000000000000000000000000000000 -183711693946425511638899256811/1000000000000000000000000000000 -1201680478869795126301/500000000000000000000000000000 -181087066468481138254693975179/500000000000000000000000000000 362174141071006288197476174117/1000000000000000000000000000000 -181087070135621092710353504509/500000000000000000000000000000
15951432402268263573797921803/50000000000000000000000000000 -319028643376788586516139483133/1000000000000000000000000000000 319028629794709085509384253561/1000000000000000000000000000000 -581869868682854852176280042479/1000000000000000000000000000000 949293258046802825775495629461/1000000000000000000000000000000 -183711710793182446665005331653/1000000000000000000000000000000 1190579625062196576517/500000000000000000000000000000 181087070077086894352337394547/500000000000000000000000000000 -362174148320713719494485786847/1000000000000000000000000000000 181087066479668025962267856171/500000000000000000000000000000
-19939289442225043414661302147/62500000000000000000000000000 319028635790350852731061224811/1000000000000000000000000000000 319028624091778530726860205287/1000000000000000000000000000000 -183711693946425511638899256811/1000000000000000000000000000000 -183711710793182446665005331653/1000000000000000000000000000000 949293244167387461033292945077/1000000000000000000000000000000 635378338001818161191/250000000000000000000000000000 -18108706719831459643993507857/50000000000000000000000000000 362174126246041388897403601347/1000000000000000000000000000000 90543531624111763037267023281/250000000000000000000000000000
8576490583413198992077759283/500000000000000000000000000000 2144122660132192508330947749/125000000000000000000000000000 -2144122396864709515455321787/125000000000000000000000000000 -1201680478869795126301/500000000000000000000000000000 1190579625062196576517/500000000000000000000000000000 635378338001818161191/250000000000000000000000000000 9269532845513316634353266669/500000000000000000000000000000 -2964607508432243526690820949/100000000000000000000000000000 -14823037474883812699243260773/500000000000000000000000000000 14823038669409533639328350409/500000000000000000000000000000
137208287220295925722654595561/500000000000000000000000000000 -5144932984851816989224647741/15625000000000000000000000000 214293520756961076104147303/7812500000000000000000000000 -181087066468481138254693975179/500000000000000000000000000000 181087070077086894352337394547/500000000000000000000000000000 -18108706719831459643993507857/50000000000000000000000000000 -2964607508432243526690820949/100000000000000000000000000000 195037661270701880742712984917/500000000000000000000000000000 -147630214817174304027450101227/500000000000000000000000000000 -23703721872705729252134370581/500000000000000000000000000000
-20579731936600435932388117729/62500000000000000000000000000 54883314894924033347821005079/200000000000000000000000000000 27429559101416211861859838633/1000000000000000000000000000000 362174141071006288197476174117/1000000000000000000000000000000 -362174148320713719494485786847/1000000000000000000000000000000 362174126246041388897403601347/1000000000000000000000000000000 -14823037474883812699243260773/500000000000000000000000000000 -147630214817174304027450101227/500000000000000000000000000000 390075322513459776889537919381/1000000000000000000000000000000 -23703728422222528140703956087/500000000000000000000000000000
548591525406467340852912657/20000000000000000000000000000 6857391176539848571610178301/250000000000000000000000000000 34302071113904905156525705779/125000000000000000000000000000 -181087070135621092710353504509/500000000000000000000000000000 181087066479668025962267856171/500000000000000000000000000000 90543531624111763037267023281/250000000000000000000000000000 14823038669409533639328350409/500000000000000000000000000000 -23703721872705729252134370581/500000000000000000000000000000 -23703728422222528140703956087/500000000000000000000000000000 195037661319276564693811214657/500000000000000000000000000000

